Optimal. Leaf size=63 \[ -\frac {2}{3} \sqrt {1-x^2} x^2-\frac {1}{24} (21 x+32) \sqrt {1-x^2}-\frac {1}{4} \sqrt {1-x^2} x^3+\frac {7}{8} \sin ^{-1}(x) \]
________________________________________________________________________________________
Rubi [A] time = 0.08, antiderivative size = 63, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 4, integrand size = 20, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.200, Rules used = {1809, 833, 780, 216} \begin {gather*} -\frac {1}{4} \sqrt {1-x^2} x^3-\frac {2}{3} \sqrt {1-x^2} x^2-\frac {1}{24} (21 x+32) \sqrt {1-x^2}+\frac {7}{8} \sin ^{-1}(x) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 216
Rule 780
Rule 833
Rule 1809
Rubi steps
\begin {align*} \int \frac {x^2 (1+x)^2}{\sqrt {1-x^2}} \, dx &=-\frac {1}{4} x^3 \sqrt {1-x^2}-\frac {1}{4} \int \frac {(-7-8 x) x^2}{\sqrt {1-x^2}} \, dx\\ &=-\frac {2}{3} x^2 \sqrt {1-x^2}-\frac {1}{4} x^3 \sqrt {1-x^2}+\frac {1}{12} \int \frac {x (16+21 x)}{\sqrt {1-x^2}} \, dx\\ &=-\frac {2}{3} x^2 \sqrt {1-x^2}-\frac {1}{4} x^3 \sqrt {1-x^2}-\frac {1}{24} (32+21 x) \sqrt {1-x^2}+\frac {7}{8} \int \frac {1}{\sqrt {1-x^2}} \, dx\\ &=-\frac {2}{3} x^2 \sqrt {1-x^2}-\frac {1}{4} x^3 \sqrt {1-x^2}-\frac {1}{24} (32+21 x) \sqrt {1-x^2}+\frac {7}{8} \sin ^{-1}(x)\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.03, size = 37, normalized size = 0.59 \begin {gather*} \frac {7}{8} \sin ^{-1}(x)-\frac {1}{24} \sqrt {1-x^2} \left (6 x^3+16 x^2+21 x+32\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 0.22, size = 53, normalized size = 0.84 \begin {gather*} \frac {7}{4} \tan ^{-1}\left (\frac {x}{\sqrt {1-x^2}-1}\right )+\frac {1}{24} \sqrt {1-x^2} \left (-6 x^3-16 x^2-21 x-32\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.38, size = 45, normalized size = 0.71 \begin {gather*} -\frac {1}{24} \, {\left (6 \, x^{3} + 16 \, x^{2} + 21 \, x + 32\right )} \sqrt {-x^{2} + 1} - \frac {7}{4} \, \arctan \left (\frac {\sqrt {-x^{2} + 1} - 1}{x}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.19, size = 30, normalized size = 0.48 \begin {gather*} -\frac {1}{24} \, {\left ({\left (2 \, {\left (3 \, x + 8\right )} x + 21\right )} x + 32\right )} \sqrt {-x^{2} + 1} + \frac {7}{8} \, \arcsin \relax (x) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.01, size = 57, normalized size = 0.90 \begin {gather*} -\frac {\sqrt {-x^{2}+1}\, x^{3}}{4}-\frac {2 \sqrt {-x^{2}+1}\, x^{2}}{3}-\frac {7 \sqrt {-x^{2}+1}\, x}{8}+\frac {7 \arcsin \relax (x )}{8}-\frac {4 \sqrt {-x^{2}+1}}{3} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.97, size = 56, normalized size = 0.89 \begin {gather*} -\frac {1}{4} \, \sqrt {-x^{2} + 1} x^{3} - \frac {2}{3} \, \sqrt {-x^{2} + 1} x^{2} - \frac {7}{8} \, \sqrt {-x^{2} + 1} x - \frac {4}{3} \, \sqrt {-x^{2} + 1} + \frac {7}{8} \, \arcsin \relax (x) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.03, size = 31, normalized size = 0.49 \begin {gather*} \frac {7\,\mathrm {asin}\relax (x)}{8}-\sqrt {1-x^2}\,\left (\frac {x^3}{4}+\frac {2\,x^2}{3}+\frac {7\,x}{8}+\frac {4}{3}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.81, size = 60, normalized size = 0.95 \begin {gather*} - \frac {x^{3} \sqrt {1 - x^{2}}}{4} - \frac {2 x^{2} \sqrt {1 - x^{2}}}{3} - \frac {7 x \sqrt {1 - x^{2}}}{8} - \frac {4 \sqrt {1 - x^{2}}}{3} + \frac {7 \operatorname {asin}{\relax (x )}}{8} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________